Exercise logic.propositional.cnf
Description
Proposition to CNF
Code | logic.propositional.cnf |
Status | Stable |
Strategy | cnf |
Rules | 44 |
Buggy rules | 39 |
OpenMath support | yes |
Restartable strategy | yes |
Exercise generator | yes |
Examples | 5 |
Example exercises
generate exercise: very_easy, easy, medium, difficult, very_difficult